(set-option :model_validate true)
(set-option :nlsat.shuffle_vars true)
(declare-const r4 Real)
(declare-const r7 Real)
(declare-const r8 Real)
(declare-const v6 Bool)
(declare-const r12 Real)
(assert (xor true true true true true v6 true (= 0.0 (/ r8 (/ 423505801.1 r8)) 0.62829 r12) true true))
(assert (= true true true true (distinct 0.0 r8 r4 r7) true true true))
(check-sat)